Design and Implementation of a C-code Generator for B(pn) 2

In this paper the basic ideas underlying the implementation of a Code Generator for B(PN) 2 (Basic Petri Net ProgrammingNotation), i.e. a translator of B(PN) 2 into C is presented. The core syntax of the source language is extended by C-routine calls (i.e user deened procedures or system calls) as atomic commands. The target language is represented in terms of the ANSI C Standard with its operating system routines belonging to the POSIX Standard. The source language is considered to be used on a multiprocessor UNIX 1 platform. The major diiculties of the translation are the following: atomic commands (shared-memory-segments with kernel semaphores) guarded commands (removal of bounded nondeterminism) the parallel operator (distribution to UNIX-processes) the synchronisation of the processes through channels with capacity 0.